$w$.M $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of(2of($w$)))